perm filename JMCNOT[1,JMC]1 blob
sn#806899 filedate 1985-12-13 generic text, type C, neo UTF8
COMMENT ā VALID 00002 PAGES
C REC PAGE DESCRIPTION
C00001 00001
C00002 00002 1985
C00003 ENDMK
Cā;
1985
nov 24 Easy unsolved problems
nov 24 Problems with circumscription
nov 24 Pattern recognition concentric collection, iq
nov 24 cbcl
mental situations
Lisp pattern matching
common sense
smells
to axiomatize with circumscription
Easiest unsolved - notes for 1985 aug speech - on blue 4 by 6 cards
nov 27 notes for cs306 exam
dec 13 notes on solution of problem 4 of cs306 exam
The solution is based on correspondence between abstract sets
and their representation by lists.